A ring homomorphism that is both one-to-one and onto.